Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
471	Nik Boyd Copyright 2004 Nikolas S. Boyd. All rights reserved. State Names Add to Reading List Source URL: educery.com Language: English - Date: 2005-07-08 01:55:48 Models of computation Finite-state machine Automated teller machine Identifier Business Electronics Technology Automata theory Digital electronics
472	INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE[removed]Motif Statistics Pierre NICODE ME, Bruno SALVY, Philippe FLAJOLET Add to Reading List Source URL: algo.inria.fr Language: English - Date: 1999-05-18 12:04:41 Computer science Applied mathematics Deterministic finite automaton Nondeterministic finite automaton Generating function Markov chain Probability-generating function Computability Finite-state machine Automata theory Models of computation Theoretical computer science
473	Increasing Interaction and Support in the Formal Languages and Automata Theory Course∗ [Extended Abstract] Susan H. Rodger Jinghui Lim Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2007-04-07 14:47:47 Applied mathematics Mathematics Finite-state machine Pumping lemma for regular languages Theory of computation Mealy machine Moore machine Logic Formal grammar Models of computation Automata theory Formal languages
474	Turning Automata Theory into a Hands-on Course ∗ Susan H. Rodger Bart Bressler Thomas Finley Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2006-02-24 16:07:36 Automata theory Turing machine Computer science Formal languages Deterministic finite automaton Finite-state machine Unrestricted grammar Nondeterministic finite automaton Pushdown automaton Theory of computation Models of computation Theoretical computer science
475	A Collection of Tools for Making Automata Theory and Formal Languages Come Alive Anna O. Bilska, Kenneth H. Leider, Magdalena Procopiuc, Octavian Procopiuc, Susan H. Rodger, Jason R. Salemme and Edwin Tsang Duke Universi Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 1998-09-22 13:03:44 Software engineering Parsing Combinatorics LL parser Formal grammar Bottom-up parsing Automata theory LR parser Context-free grammar Formal languages Programming language implementation Compiler construction
476	On Global Optimality of Deterministic and Non-Deterministic Transformations Roman V. Belavkin Middlesex University July 4, 2011 Add to Reading List Source URL: www.eis.mdx.ac.uk Language: English - Date: 2011-08-01 08:05:42 Probability Automata theory Kernel
477	HC17.S2T3 High-Performance Pattern-Matching Engine for Intrusion Detection.ppt Add to Reading List Source URL: www.hotchips.org Language: English - Date: 2013-07-27 23:45:52 Hash function Field-programmable gate array Computer science Electronics Applied mathematics Models of computation Automata theory Finite-state machine
478	A Type System for Expressive Security Policies∗ David Walker Cornell University Strong type systems such as those of Java or ML provide provable guarantees about the run-time behaviour of programs. If we type check pro Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-11-02 01:07:11 Logic Mathematical logic First-order logic Model theory Predicate logic Symbol Computability Finite-state machine Linear temporal logic Automata theory Models of computation Theoretical computer science
479	Multi-dimensional sets recognizable in all abstract numeration systems Add to Reading List Source URL: www.cant.ulg.ac.be Language: English - Date: 2011-06-10 02:41:38 Formal languages Automata theory
480	Learning Semantic String Transformations from Examples ∗ Rishabh Singh Sumit Gulwani Add to Reading List Source URL: vldb.org Language: English - Date: 2012-04-26 08:00:25 Formal languages String Automata theory Comparison of programming languages Regular expression Scheme Natural transformation S-expression Lookup table Computing Software engineering Computer programming

UPDATE